#
# Incorporate Genode header files into the build process
#
REP_INC_DIR += include
